Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
901	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
902	The IMSL® Fortran Numerical Library Evaluation Guide Rogue Wave Software 5500 Flatiron Parkway, Suite 200 Boulder, CO 80301, USA Add to Reading List Source URL: docs.roguewave.com Language: English - Date: 2014-11-05 14:34:37 Array programming languages Numerical software Numerical linear algebra Rogue Wave Software PV-Wave Fortran Intel Fortran Compiler IMSL Numerical Libraries Linear programming Software Computing Computer programming
903	On the Complexity of Deciding Sense of Direction∗ Paolo Boldi† Sebastiano Vigna† Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:05 Functions and mappings Nonassociative algebra Group theory Combinatory logic Lambda calculus Constructible universe Curry–Howard correspondence Function Quasigroup Mathematics Abstract algebra Logic in computer science
904	DOCUMENTATION FOR KNOTTWISTER STEFAN FRIEDL Abstract. We summarize the mathematics behind the computer program KnotTwister and explain some of its features. Contents 1. Definitions Add to Reading List Source URL: www.mi.uni-koeln.de Language: English - Date: 2006-05-11 16:33:38 Representation theory Finite field Alexander polynomial Euclidean algorithm Operator theory Representation theory of Lie groups Kostant polynomial Approximately finite dimensional C*-algebra Abstract algebra Algebra Mathematics
905	Nonuniformly Communicating Noncontiguous Data: A Case Study with PETSc and MPI ∗ † P. Balaji D. Buntinas S. Balay B. Smith R. Thakur W. Gropp Mathematics and Computer Science Division Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-02-02 14:39:16 Application programming interfaces Local area networks Message Passing Interface Numerical linear algebra Portable Extensible Toolkit for Scientific Computation Fault-tolerant computer systems MPICH Computer cluster Remote direct memory access Computing Parallel computing Computer programming
906	Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:19:38 Fluent Constraint programming Algebra FO Variable Distributed constraint optimization Mathematics Theoretical computer science Logic in computer science
907	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
908	Aggregation and Ordering in Factorised Databases Nurzhan Bakibayev, Tomaˇ ´ s Koˇcisk´y, Dan Olteanu, and Jakub Zavodn´ ´ y Department of Computer Science, University of Oxford, OX1 3QD, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-09-17 11:17:17 Data Database theory Database management systems Relational algebra Query languages Programming paradigms Relational database Database normalization Relation Data management Computing Relational model
909	1 health at curtin Population Health Make tomorrow better. Add to Reading List Source URL: www.curtin.edu.au Language: English - Date: 2014-05-07 00:11:39 Health economics Computer algebra Data management Record linkage Patient safety Health equity Dementia National Health Service Joondalup Family Health Study Medicine Health Medical terms
910	On-Line Computer Graphics Notes DEVICE SPACE Kenneth I. Joy Visualization and Graphics Research Group Department of Computer Science Add to Reading List Source URL: graphics.idav.ucdavis.edu Language: English - Date: 2009-09-23 12:58:14 Analytic geometry Elementary mathematics 3D computer graphics Linear algebra Computer graphics Coordinate system Pixel Z-buffering Unit vector Mathematics Algebra Geometry

UPDATE